$\vdash$  $\forall$$a$, $b$:$\mathbb{B}$. Dec($a$ = $b$)